#include<stdio.h>
#include"binTree.cpp"


int printTex(FILE* f, node_t* n);
int printData(FILE* f, node_t* n);
int dumpTex(FILE* f, node_t* n);
int dumpFormula(FILE* f, node_t* n);
int dumpEndOfDoc(FILE* f);
int dumpPreambule(FILE* f);
int shouldPrintCirc(node_t* n);
int shouldPrintFig(node_t* n);
int makeStrings(char** Strings,   char* buffer, int length);
char** bufferize(FILE* f, int* n);
int fileLength(FILE* f);
int CountOf(const   char *str, int length,   char ch);
